int foo() { return 12; }
